VON PIRQUET'S TEST
نویسندگان
چکیده
منابع مشابه
Test von verteilten C2X-Applikationen
Zukünftige Fahrzeuggenerationen werden, stärker noch als heute, in eine umfassende Kommunikationsinfrastruktur eingebunden sein, die den Datenaustausch sowohl zwischen Fahrzeugen wie auch mit der Verkehrsinfrastruktur ermöglicht. Auf Basis einer solchen Car to X (C2X) Infrastruktur lassen sich intelligente Telematikund Fahrassistenzsysteme realisieren, die den Straßenverkehr insgesamt effizient...
متن کاملTest der semantischen Äquivalenz von Translatoren am Beispiel von CoJaC
Im Rahmen des SOAMIG-Projektes1 wurde u.a. der Translator CoJaC (COBOL to Java Converter) entwickelt. Entwicklungsziele von CoJaC waren, performanten und zum COBOL-Code semantisch äquivalenten Java-Code zu generieren. Der vorliegende Beitrag beschreibt die Testmethodik zum Nachweis dieser semantischen Äquivalenz. 1 CoJaC COBOL to Java Converter CoJaC konvertiert ein vollständiges COBOL-Programm...
متن کاملIntegration von Formaler Verifikation und Test
Üblicherweise nehmen die Verifizierungsaufgaben, die von den branchenspezifischen Standards gefordert werden, einen großen Teil der Entwicklungskosten von kritischen Systemen ein. Diese Tendenz wird noch verstärkt, da die Entwicklung und Pflege einer großen Menge von funktionalen und Robustheitstests, für immer komplexer werdende Anwendungen, nötig ist. Die formale Verifikation ist ein Weg, die...
متن کاملGlassbox-Test zur Äquivalenzklassenbildung von Produktionsdaten
Kurzfassung Produktionsdatenbestände bilden einen guten Fundus an Eingabedaten für Testfälle. Allerdings ist die Zahl dieser Eingabedaten oft unpraktikabel hoch, und immer gleiche Eingaben machen den Test aufwändig, finden aber keine weiteren Fehler. In diesem Artikel wird ein Verfahren vorgestellt, das durch das Glassbox-TestWerkzeug CodeCover Produktionsdaten auf ein praktikablen Umfang reduz...
متن کاملEine industriell erprobte Methode für den Review und Test von Anforderungen mit Hilfe von Fehlertaxonomien
Zusammenfassung In diesem Beitrag präsentieren wir eine Validierungsmethode, welche Fehlertaxonomien für den Review und das Testen von Anforderungen verwendet. Im Gegensatz zu anderen Ansätzen, welche Taxonomien nur zur Fehlerklassifikation verwenden, setzen wir Fehlertaxonomien zur Steuerung des Review und aller Phasen des Tests von Anforderungen, nämlich der Testplanung, des Testdesign, der T...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BMJ
سال: 1921
ISSN: 0959-8138,1468-5833
DOI: 10.1136/bmj.2.3170.539-b